大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Guttman、 Joshua.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings

0
索取号：
作者：Chen、 Hsinchun.、Yang、 Christopher C.、Chau、 Michael.、Li、 Shu-Hsing.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

0
索取号：
作者：Bruni、 Roberto.、Wolf、 Karsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

0
索取号：
作者：Luck、 Michael.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Designing E-Business Systems. Markets, Services, and Networks [electronic resource] : 7th Workshop on E-Business, WEB 2008, Paris, France, December 13, 2008, Revised Selected Papers

0
索取号：
作者：Weinhardt、 Christof.、Luckner、 Stefan.、St枚脽er、 Jochen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Complex Networks [electronic resource] : Results of the 2009 International Workshop on Complex Networks (CompleNet 2009)

0
索取号：
作者：Fortunato、 Santo.、Mangioni、 Giuseppe.、Menezes、 Ronaldo.、Nicosia、 Vincenzo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing [electronic resource]

0
索取号：
作者：Lee、 Roger.、Ishii、 Naohiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Enterprise Applications and Services in the Finance Industry [electronic resource] : 4th International Workshop, FinanceCom 2008, Paris, France, December 13, 2008. Revised Papers

0
索取号：
作者：Kundisch、 Dennis.、Veit、 Daniel J.、Weitzel、 Tim.、Weinhardt、 Christof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Elements of Numerical Relativity and Relativistic Hydrodynamics [electronic resource] : From Einstein' s Equations to Astrophysical Simulations

0
索取号：
作者：Bona、 Carles.、Palenzuela-Luque、 Carlos.、Bona-Casas、 Carles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Epistemological Aspects of Computer Simulation in the Social Sciences [electronic resource] : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Squazzoni、 Flaminio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Numerics of Unilateral Contacts and Friction [electronic resource] : Modeling and Numerical Time Integration in Non-Smooth Dynamics

0
索取号：
作者：Studer、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Ocean Modelling for Beginners [electronic resource] : Using Open-Source Software

0
索取号：
作者：K盲mpf、 Jochen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Moor、 Oege.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers

0
索取号：
作者：Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings

0
索取号：
作者：Becker、 J眉rgen.、Woods、 Roger.、Athanas、 Peter.、Morgan、 Fearghal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.